import lib.integer

def Solve():
    result = 1
    for i in xrange(1, 21):
        result *= i / lib.integer.Gcd(result, i)
    return result
